941. Mathematical theory of computation
پدیدآورنده : Manna, Zohar.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Debugging in computer science
رده :
QA
76
.
6
.
M356
942. Mathematical theory of computation
پدیدآورنده : / Zohar Manna
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming,Debugging in computer science
رده :
001
.
6425
M282
943. Mathematics for computer programmers
پدیدآورنده : Kay, Christine Benedyk
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer science- Mathematics,، Electronic digital computers- Programming
رده :
QA
76
.
9
.
M35
K38
944. Mathematics for data processing
پدیدآورنده : DENAGELO,SALVATORE
کتابخانه: (طهران)
موضوع : NUMERICAL ANALYSIS , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
297
.
D39
945. Mathematics for data processing
پدیدآورنده : DeAngelo, Salvatore
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Numerical analysis,، Electronic digital computers-- Programming
رده :
QA
297
.
D39
946. Mathematics for the analysis of algorithms
پدیدآورنده : Daniel H. Greene, Donald E. Knuth,Title
موضوع : Electronic digital computers - Programming,Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
947. Mathematics for the analysis of algorithms
پدیدآورنده : Greene, Daniel H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Algorithms
رده :
QA
76
.
6
.
G7423
1982
948. Mathematics of program construction
پدیدآورنده : Ronald Back house Jose Nuno oliveria
کتابخانه: (کرمان)
موضوع : Electronic digital computers-programming-congresses,computer science-mathematics-congresses
رده :
QA
76
.
6
.
M2
2000
949. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
950. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
669
951. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
رده :
QA
76
.
6
.
M367
1992
952. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
953. Matrix computer analysis of structures
پدیدآورنده : Rubinstein, Moshe F.
کتابخانه: (طهران)
موضوع : Electronic data prossesing - Structures, theory of , Electronic digital computers - Programming , Matrices
رده :
TA
642
.
R8
954. Matrix computer analysis of structures
پدیدآورنده : / [by] Moshe F. Rrubinstein
کتابخانه: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع : Electronic data processing--Structures,theory of,Electronic digital computers--Programming,Matrices
رده :
TA
642
.
R8
955. Mes premieres constructions de programmes
پدیدآورنده : Gerbier, A
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
G47
956. Methode van programmeren. English,A method of programming
پدیدآورنده : Edsger W. dijkstra, W. H. Feijen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Electronic digital computers - Programming
رده :
QA
,
76
.
6
,.
D5513
,
1988
957. Methodes de programmation
پدیدآورنده : Meyer, Bertrand
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
M4
1984
958. Methodes generale d'analyse d'une application informatique
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic data processing,Electronic digital computers - Programming
رده :
001
.
61
Ca-M
959. Methods of programming: selected papers on the CIP-project
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers--Programming
رده :
QA
76
.
6
.
M4543
1991
960. Microprocessor systems
پدیدآورنده : / William Eccles
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Microprocessors,Computer architecture,Electronic digital computers--Programming
رده :
QA
76
.
5
.
E27
1985
